Quantum harmonic oscillator

"QHO" redirects here. It is also the IATA airport code for all airports in the Houston area.

The quantum harmonic oscillator is the quantum mechanical analog of the classical harmonic oscillator. It is one of the most important model systems in quantum mechanics because an arbitrary potential can be approximated as a harmonic potential at the vicinity of a stable equilibrium point. Furthermore, it is one of the few quantum mechanical systems for which a simple exact solution is known.

1 One-dimensional harmonic oscillator
2 N-dimensional harmonic oscillator
- 2.1 Example: 3D isotropic harmonic oscillator
3 Coupled harmonic oscillators
4 See also
5 References
6 External links

One-dimensional harmonic oscillator

Hamiltonian and energy eigenstates

Wavefunction representations for the first eight bound eigenstates, n = 0 to 7. The horizontal axis shows the position x. The graphs are not normalised

Probability densities |ψ_n(x)|² for the bound eigenstates, beginning with the ground state (n = 0) at the bottom and increasing in energy toward the top. The horizontal axis shows the position x, and brighter colors represent higher probability densities.

In the one-dimensional harmonic oscillator problem, a particle of mass m is subject to a potential V(x) given by

$V(x) = \frac{1}{2} m \omega^2 x^2 \, ,$

where ω is the angular frequency of the oscillator. In classical mechanics, $\displaystyle m \omega^2 = k$ is called the spring stiffness coefficient, force constant or spring constant, and $\displaystyle \omega$ the angular frequency.

The Hamiltonian of the particle is:

$\hat H = \frac{{\hat p}^2}{2m} + \frac{1}{2} m \omega^2 {\hat x}^2 \, ,$

where $\hat x = x$ is the position operator, and $\hat p$ is the momentum operator, given by

$\hat p = - i \hbar {\partial \over \partial x} \, .$

The first term in the Hamiltonian represents the kinetic energy of the particle, and the second term represents the potential energy in which it resides. In order to find the energy levels and the corresponding energy eigenstates, we must solve the time-independent Schrödinger equation,

$\hat H \left| \psi \right\rangle = E \left| \psi \right\rangle \, .$

We can solve the differential equation in the coordinate basis, using a spectral method. It turns out that there is a family of solutions. In the position basis they are

$\psi_n(x) = \sqrt{\frac{1}{2^n\,n!}} \cdot \left(\frac{m\omega}{\pi \hbar}\right)^{1/4} \cdot e^{ - \frac{m\omega x^2}{2 \hbar}} \cdot H_n\left(\sqrt{\frac{m\omega}{\hbar}} x \right), \qquad n = 0,1,2,\ldots.$

The functions H_n are the Hermite polynomials:

$H_n(x)=(-1)^n e^{x^2}\frac{d^n}{dx^n}\left(e^{-x^2}\right)$

The corresponding energy levels are

$E_n = \hbar \omega \left(n + {1\over 2}\right)$ .

This energy spectrum is noteworthy for three reasons. Firstly, the energies are "quantized", and may only take the discrete half-integer multiples of $\hbar\omega$ . This is a feature of many quantum mechanical systems. In the following section on ladder operators, we will engage in a more detailed examination of this phenomenon. Secondly, the lowest achievable energy is not zero, but $\hbar\omega/2$ , which is called the "ground state energy" or zero-point energy. In the ground state, according to quantum mechanics, an oscillator performs null oscillations and its average kinetic energy is positive. It is not obvious that this is significant, because normally the zero of energy is not a physically meaningful quantity, only differences in energies. Nevertheless, the ground state energy has many implications, particularly in quantum gravity. The final reason is that the energy levels are equally spaced, unlike the Bohr model or the particle in a box.

Note that the ground state probability density is concentrated at the origin. This means the particle spends most of its time at the bottom of the potential well, as we would expect for a state with little energy. As the energy increases, the probability density becomes concentrated at the "classical turning points", where the state's energy coincides with the potential energy. This is consistent with the classical harmonic oscillator, in which the particle spends most of its time (and is therefore most likely to be found) at the turning points, where it is the slowest. The correspondence principle is thus satisfied.

Ladder operator method

The spectral method solution, though straightforward, is rather tedious. The "ladder operator" method, due to Paul Dirac, allows us to extract the energy eigenvalues without directly solving the differential equation. Furthermore, it is readily generalizable to more complicated problems, notably in quantum field theory. Following this approach, we define the operators a and its adjoint a^†

$\begin{matrix} a &=& \sqrt{m\omega \over 2\hbar} \left(x + {i \over m \omega} p \right) \\ a^{\dagger} &=& \sqrt{m \omega \over 2\hbar} \left( x - {i \over m \omega} p \right) \end{matrix}$

The operator a is not Hermitian since it and its adjoint a^† are not equal.

The operator a and a^† have properties as below:

$\begin{align} a \left| \psi _n \right\rangle &= \sqrt{n} \left| \psi _{n-1} \right\rangle \\ a^{\dagger} \left| \psi _n \right\rangle &= \sqrt{n+1} \left| \psi _{n+1} \right\rangle \end{align}$

In the Heisenberg picture, the operators have the following time dependence:

$\begin{align} a (t)&=a e^{-i\omega t} \\ a^{\dagger}(t)&= a^{\dagger}e^{i\omega t} \end{align}$

We can also define a number operator N which has the following property:

$N = a^{\dagger}a$

$N\left| \psi _n \right\rangle =n\left| \psi _n \right\rangle$

In deriving the form of a^†, we have used the fact that the operators x and p, which represent observables, are Hermitian. These observable operators can be expressed as a linear combination of the ladder operators as

$\begin{align} x &= \sqrt{\hbar \over 2m\omega} \left( a^{\dagger}+a \right) \\ p &= i \sqrt{{\hbar}m\omega \over 2} \left( a^{\dagger}-a \right) \end{align}$

The x and p operators obey the following identity, known as the canonical commutation relation:

$[x,p] = i\hbar \, .$

The square brackets in this equation are a commonly-used notational device, known as the commutator, defined as

$[A,B] \ \stackrel{\mathrm{def}}{=}\ AB - BA$ .

Using the above, we can prove the identities

$H = \hbar \omega \left(a^{\dagger}a + 1/2\right)$

$\left[a , a^{\dagger} \right] = 1$ .

Now, let $\left|\psi_E\right\rangle$ denote an energy eigenstate with energy E. The inner product of any ket with itself must be non-negative, so

$\left(a \left|\psi_E \right\rangle, a \left|\psi_E \right\rangle\right) = \left\langle\psi_E \right| a^\dagger a \left| \psi_E \right\rangle \ge 0$ .

Expressing a^†a in terms of the Hamiltonian:

$\left\langle\psi_E \left| {H \over \hbar \omega} - {1 \over 2} \right|\psi_E\right\rangle = \left({E \over \hbar \omega} - {1 \over 2} \right) \ge 0$ ,

so that E ≥ ħω/2. Note that when ( $a \left| \psi_E \right \rangle$ ) is the zero ket (i.e. a ket with length zero), the inequality is saturated, so that $E = \hbar \omega / 2$ . It is straightforward to check that there exists a state satisfying this condition; it is the ground (n = 0) state given in the preceding section.

Using the above identities, we can now show that the commutation relations of a and a^† with H are:

$\begin{align} \left[ H, a \right] &= - \hbar \omega a \\ \left[ H, a^\dagger \right] &= \hbar \omega a^\dagger \, . \end{align}$

Thus, provided ( $a \left| \psi_E \right \rangle$ ) is not the zero ket,

$\begin{align} H (a \left| \psi_E \right\rangle) &= (\left[H,a\right] + a H) \left|\psi_E\right\rangle \\ &= (- \hbar\omega a + a E) \left|\psi_E\right\rangle \\ &= (E - \hbar\omega) (a\left|\psi_E\right\rangle) \end{align}$ .

Similarly, we can show that

$H (a^\dagger \left| \psi_E \right\rangle) = (E + \hbar\omega) (a^\dagger \left| \psi_E \right\rangle)$ .

In other words, a acts on an eigenstate of energy E to produce, up to a multiplicative constant, another eigenstate of energy $E - \hbar \omega$ , and a^† acts on an eigenstate of energy E to produce an eigenstate of energy $E + \hbar \omega$ . For this reason, a is called a "lowering operator", and a^† a "raising operator". The two operators together are called ladder operators. In quantum field theory, a and a^† are alternatively called "annihilation" and "creation" operators because they destroy and create particles, which correspond to our quanta of energy.

Given any energy eigenstate, we can act on it with the lowering operator, a, to produce another eigenstate with $\hbar \omega$ -less energy. By repeated application of the lowering operator, it seems that we can produce energy eigenstates down to E = −∞. However, this would contradict our earlier requirement that $E \ge \hbar \omega / 2$ . Therefore, there must be a ground-state energy eigenstate, which we label $\left| 0 \right \rangle$ (not to be confused with the zero ket), such that

$a \left| 0 \right\rangle = 0 \hbox{(zero ket)}$ .

In this case, subsequent applications of the lowering operator will just produce zero kets, instead of additional energy eigenstates. Furthermore, we have shown above that

$H \left|0\right\rangle = (\hbar\omega/2) \left|0\right\rangle$

Finally, by acting on $\left| 0 \right \rangle$ with the raising operator and multiplying by suitable normalization factors, we can produce an infinite set of energy eigenstates $\left\{\left| 0 \right \rangle, \left| 1 \right \rangle, \left| 2 \right \rangle, ... , \left| n \right \rangle, ...\right\}$ , such that

$H \left|n\right\rangle = \hbar\omega (n + 1/2) \left|n\right\rangle$

which matches the energy spectrum which we gave in the preceding section.

This method can also be used to quickly find the ground state wave function of the quantum harmonic oscillator. Indeed $a \left| 0 \right\rangle = 0$ becomes

$x\psi_0(x) + \frac{\hslash}{m \omega} \frac{d \psi_0(x)}{dx} = 0$

so that

$\frac{d\psi_0(x)}{\psi_0(x)}=-\frac{m\omega}{\hslash}x\;dx \Rightarrow \ln\psi_0(x)= -\frac{m\omega}{2\hslash}x^2 + \text{ Const.}$

After normalization this leads to the following position space representation of the ground state wave function.

$\psi_0(x)= \left({m\omega \over \pi\hbar}\right)^{1 \over 4}e^{-{m\omega \over 2\hbar}x^2}.$

Natural length and energy scales

The quantum harmonic oscillator possesses natural scales for length and energy, which can be used to simplify the problem. These can be found by nondimensionalization. The result is that if we measure energy in units of $\hbar \omega$ and distance in units of $\left(\hbar / \left(m \omega\right)\right)^{1/2}$ , then the Schrödinger equation becomes:

$H = - {1\over2} {d^2 \over du^2 } + {1 \over 2} u^2$ ,

and the energy eigenfunctions and eigenvalues become

$\left\langle x | \psi_n \right\rangle = {1 \over \sqrt{2^n n!}} \pi^{-1/4} \hbox{exp} (-u^2 / 2) H_n(u)$

$E_n = n + {1\over 2}$

where $H_n(u)$ are the Hermite polynomials.

To avoid confusion, we will not adopt these natural units in this article. However, they frequently come in handy when performing calculations.

Diatomic molecules

In diatomic molecules, the natural frequency is given by

$\omega = \sqrt{\frac{k}{\mu}} \, ,$

where ω = 2πf is the angular frequency, k is the force constant of the bond, and μ is the reduced mass. "Quantum Harmonic Oscillator". Hyperphysics. http://hyperphysics.phy-astr.gsu.edu/hbase/quantum/hosc.html. Retrieved 24 September 2009.

N-dimensional harmonic oscillator

The one-dimensional harmonic oscillator is readily generalizable to N dimensions, where N = 1, 2, 3, ... . In one dimension, the position of the particle was specified by a single coordinate, x. In N dimensions, this is replaced by N position coordinates, which we label x₁, ..., x_N. Corresponding to each position coordinate is a momentum; we label these p₁, ..., p_N. The canonical commutation relations between these operators are

$\begin{matrix} \left[x_i , p_j \right] &=& i\hbar\delta_{i,j} \\ \left[x_i , x_j \right] &=& 0 \\ \left[p_i , p_j \right] &=& 0 \end{matrix}$ .

The Hamiltonian for this system is

$H = \sum_{i=1}^N \left( {p_i^2 \over 2m} + {1\over 2} m \omega^2 x_i^2 \right)$ .

As the form of this Hamiltonian makes clear, the N-dimensional harmonic oscillator is exactly analogous to N independent one-dimensional harmonic oscillators with the same mass and spring constant. In this case, the quantities x₁, ..., x_N would refer to the positions of each of the N particles. This is a convenient property of the $r^2$ potential, which allows the potential energy to be separated into terms depending on one coordinate each.

This observation makes the solution straightforward. For a particular set of quantum numbers {n} the energy eigenfunctions for the N-dimensional oscillator are expressed in terms of the 1-dimensional eigenfunctions as:

$\langle \mathbf{x}|\psi_{\{n\}}\rangle =\prod_{i=1}^N\langle x_i|\psi_{n_i}\rangle$

In the ladder operator method, we define N sets of ladder operators,

$\begin{matrix} a_i &=& \sqrt{m\omega \over 2\hbar} \left(x_i + {i \over m \omega} p_i \right) \\ a^{\dagger}_i &=& \sqrt{m \omega \over 2\hbar} \left( x_i - {i \over m \omega} p_i \right) \end{matrix}$ .

By a procedure analogous to the one-dimensional case, we can then show that each of the a_i and a^†_i operators lower and raise the energy by ℏω respectively. The Hamiltonian is

$H = \hbar \omega \, \sum_{i=1}^N \left(a_i^\dagger \,a_i + \frac{1}{2}\right).$

This Hamiltonian is invariant under the dynamic symmetry group U(N) (the unitary group in N dimensions), defined by

$U\, a_i^\dagger \,U^\dagger = \sum_{j=1}^N a_j^\dagger\,U_{ji}\quad\hbox{for all}\quad U \in U(N),$

where $U_{ji}$ is an element in the defining matrix representation of U(N).

The energy levels of the system are

$E = \hbar \omega \left[(n_1 + \cdots + n_N) + {N\over 2}\right]$ .

$n_i = 0, 1, 2, \dots \quad (\hbox{the number of bosons in mode } i).$

As in the one-dimensional case, the energy is quantized. The ground state energy is N times the one-dimensional energy, as we would expect using the analogy to N independent one-dimensional oscillators. There is one further difference: in the one-dimensional case, each energy level corresponds to a unique quantum state. In N-dimensions, except for the ground state, the energy levels are degenerate, meaning there are several states with the same energy.

The degeneracy can be calculated relatively easily. As an example, consider the 3-dimensional case: Define n = n₁ + n₂ + n₃. All states with the same n will have the same energy. For a given n, we choose a particular n₁. Then n₂ + n₃ = n − n₁. There are n − n₁ + 1 possible groups {n₂, n₃}. n₂ can take on the values 0 to n − n₁, and for each n₂ the value of n₃ is fixed. The degree of degeneracy therefore is:

$g_n = \sum_{n_1=0}^n n - n_1 + 1 = \frac{(n+1)(n+2)}{2}$

Formula for general N and n [g_n being the dimension of the symmetric irreducible n^th power representation of the unitary group U(N)]:

$g_n = \binom{N+n-1}{n}$

The special case N = 3, given above, follows directly from this general equation.

Example: 3D isotropic harmonic oscillator

The Schrödinger equation of a spherically-symmetric three-dimensional harmonic oscillator can be solved explicitly by separation of variables, see this article for the present case. This procedure is analogous to the separation performed in the hydrogen-like atom problem, but with the spherically symmetric potential

$V(r) = {1\over 2} \mu \omega^2 r^2,$

where $\mu$ is the mass of the problem. Because m will be used below for the magnetic quantum number, mass is indicated by $\mu$ , instead of m, as earlier in this article.

The solution reads

$\psi_{klm}(r,\theta,\phi) = N_{kl} r^{l}e^{-\nu r^2}{L_k}^{(l+{1\over 2})}(2\nu r^2) Y_{lm}(\theta,\phi)$

where

$N_{kl}=\sqrt{\sqrt{\frac{2\nu ^{3}}{\pi }}\frac{2^{k+2l+3}\;k!\;\nu ^{l}}{ (2k+2l+1)!!}}\,$ is a normalization constant.

$\nu \equiv {\mu \omega \over 2 \hbar}$

${L_k}^{(l+{1\over 2})}(2\nu r^2)$ are generalized Laguerre polynomials. The order k of the polynomial is a non-negative integer.

$Y_{lm}(\theta,\phi)\,$ is a spherical harmonic function.

$\hbar$ is the reduced Planck constant: $\hbar\equiv\frac{h}{2\pi}$ .

The energy eigenvalue is

$E=\hbar \omega (2k+l+{3\over 2})$

The energy is usually described by the single quantum number

$n\equiv 2k+l\,$

Because k is a non-negative integer, for every even n we have $l=0,2...,n-2,n$ and for every odd n we have $l=1,3...,n-2,n$ . The magnetic quantum number m is an integer satisfying $-l \le m \le l$ , so for every n and l there are 2l+1 different quantum states, labeled by m. Thus, the degeneracy at level n is

$\sum_{l=\ldots,n-2,n} (2l+1) = {(n+1)(n+2)\over 2}$

where the sum starts from 0 or 1, according to whether n is even or odd. This result is in accordance with the dimension formula above.

Coupled harmonic oscillators

In this problem, we consider N equal masses which are connected to their neighbors by springs, in the limit of large N. The masses form a linear chain in one dimension, or a regular lattice in two or three dimensions.

As in the previous section, we denote the positions of the masses by x₁, x₂, ..., as measured from their equilibrium positions (i.e. x_k = 0 if particle k is at its equilibrium position.) In two or more dimensions, the xs are vector quantities. The Hamiltonian of the total system is

$H = \sum_{i=1}^N {p_i^2 \over 2m} + {1\over 2} m \omega^2\sum_{\{ij\} (nn)} (x_i - x_j)^2.$

The potential energy is summed over "nearest-neighbor" pairs, so there is one term for each spring.

Remarkably, there exists a coordinate transformation to turn this problem into a set of independent harmonic oscillators, each of which corresponds to a particular collective distortion of the lattice. These distortions display some particle-like properties, and are called phonons. Phonons occur in the ionic lattices of many solids, and are extremely important for understanding many of the phenomena studied in solid state physics.

References

Griffiths, David J. (2004). Introduction to Quantum Mechanics (2nd ed.). Prentice Hall. ISBN 0-13-805326-X.
Liboff, Richard L. (2002). Introductory Quantum Mechanics. Addison-Wesley. ISBN 0-8053-8714-5.

External links

Quantum Harmonic Oscillator
Calculation using a noncommutative free monoid: (mathematical version) / (abbreviated version)
Rationale for choosing the ladder operators